We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of (...) H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...) that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

It has often been assumed that when we use vision to become aware of an object or event in our surroundings, this must be accompanied by a corresponding visual experience (i.e., seeing). The studies reported here show that this assumption is incorrect. When observers view a sequence of displays alternating between an image of a scene and the same image changed in some way, they often feel (or sense) the change even though they have no visual experience of it. The (...) subjective difference between sensing and seeing is mirrored in several behavioral differences, suggesting that these are two distinct modes of conscious visual perception. (shrink)

This paper distinguishes and critiques several forms of pluralism about the levels of selection, and introduces a novel way of thinking about the biological properties and processes typically conceptualized in terms of distinct levels. In particular, "levels" should be thought of as being entwined or fused. Since the pluralism discussed is held by divergent theorists, the argument has implications for many positions in the debate over the units of selection. And since the key points on which the paper turns apply (...) beyond this specific issue, the paper may prove of general interest in thinking about the metaphysics of science. (shrink)

Our aim in this paper is to bring the woefully neglected literature on predictive modeling to bear on some central questions in the philosophy of science. The lesson of this literature is straightforward: For a very wide range of prediction problems, statistical prediction rules (SPRs), often rules that are very easy to implement, make predictions than are as reliable as, and typically more reliable than, human experts. We will argue that the success of SPRs forces us to reconsider our views (...) about what is involved in understanding, explanation, good reasoning, and about how we ought to do philosophy of science. (shrink)

In Vagueness and Contradiction (2001), Roy Sorensen defends and extends his epistemic account of vagueness. In the process, he appeals to connections between vagueness and semantic paradox. These appeals come mainly in Chapter 11, where Sorensen offers a solution to what he calls the no-no paradox—a “neglected cousin” of the more famous liar—and attempts to use this solution as a precedent for an epistemic account of the sorites paradox. This strategy is problematic for Sorensen’s project, however, since, as we establish, (...) he fails to resolve the semantic pathology of the no-no paradox. (shrink)

A reading of Feyerabend in Against Method, and a comparison of C.S. Peirce.

Kevin Corcoran offers an account of how one can be a physicalist about human persons, deny temporal gaps in the existence of persons, and hold that there is an afterlife. I argue that Corcoran's account both violates the necessity of metaphysical identity and implausibly makes an individual's existence dependent on factors wholly extrinsic to the individual. Corcoran's defence is considered, as well as Stephen Davis's suggestions on how an account like Corcoran's can defend itself against these concerns. It is shown, (...) however, that the difficulties remain in full force and, therefore, that Corcoran's account fails to reconcile physicalism, no gappy existence, and an afterlife. (shrink)

Previous discussions on the value of sport in remote locations have concentrated on 1) environmental and process concerns, with the rejection of competition and goal-directed or use oriented activity, or 2) the value of risk and dangerous sport for self-affirmation. It is argued that the value of risk in remote sport is in self-knowledge rather than self-affirmation and that risk in remote sport, while enhancing certain kinds of experience, is not necessary. The value of remote sport is in offering the (...) opportunity for experience that enhances the participants’ knowledge both of self and of the environment with which they interact. (shrink)

This essay expands upon the suggestion that Lessing's infamous ‘ditch’ is actually three ditches: temporal, metaphysical, and existential gaps. It examines the complex problems these ditches raise, and then proposes that Kierkegaard's Fragments and Postscript exhibit a similar triadic organizational structure, which may signal a deliberate attempt to engage and respond to Lessing's three gaps. Viewing the Climacean project in this way offers an enhanced understanding of the intricacies of Lessing's rationalist approach to both religion and historical truth, and illuminates (...) Climacus's subjective response to Lessing. (shrink)

In this paper we examine to what extent the lengths of the links in an animated articulated figure can be changed without the viewer being aware of the change. This is investigated in terms of a framework that emphasizes the role of attention in visual perception. We conducted a set of five experiments to establish bounds for the sen-sitivity to changes in length as a function of several parameters and the amount of attention available. We found that while length changes (...) of 3% can be perceived when the relevant links are given full attention, changes of over 20% can go unnoticed when attention is not focused in this way. These results provide general guidelines for algorithms that produce or process character motion data and also bring to light some of the potential gains that stand to be achieved with attention-based algorithms. (shrink)

What factors are involved in the resolution of scientific disputes? What factors make the resolution of such disputes rational? The traditional view confers an important role on observation statements that are shared by proponents of competing theories. Rival theories make incompatible (sometimes contradictory) observational predictions about a particular situation, and the prediction made by one theory is borne out while the prediction made by the other is not. Paul Feyerabend, Thomas Kuhn, and Paul Churchland have called into question this account (...) of theory-resolution. According to these philosophers, substantially different and competing scientific theories are semantically incommensurable: those theories do not share a common observation language. Two charges have been leveled against the semantic incommensurability theories. The first is that it ignores that some semantic features of observational terms (e.g., their reference) can be expressed by proponents of competing theories. The second is that the semantic incommensurability thesis is self-defeating. In this paper I will argue that both of these charges are true but not for the reasons usually given. (shrink)

Among moral philosophers, general disapproval of genetic enhancement has in recent years given way to the view that the permissibility of a eugenic policy depends only on its particular features. Buchanan, Brock, Daniels, and Wikler have extensively defended such a view. However, while these authors go so far as to argue that there are conditions under which parents are not only permitted but also obligated to procure genetic treatments for their intended child, they stop short of arguing that there are (...) conditions under which parents are required to procure enhancements. By contrast, David Heyd argues that parents are required to procure treatments or enhancements for their future child, but only if the intervention would not alter the future child’s personal identity. In this paper I take the case for genetic enhancement a step further by arguing that there are conditions under which parents are morally required to procure genetic interventions for their intended child, regardless of whether the intervention is a treatment or an enhancement, and regardless of whether it would alter the child’s personal identity. (shrink)

Although Paul Churchland and Jerry Fodor both subscribe to the so-called theory-theory– the theory that folk psychology (FP) is an empirical theory of behavior – they disagree strongly about FP’s fate. Churchland contends that FP is a fundamentally flawed view analogous to folk biology, and he argues that recent advances in computational neuroscience and connectionist AI point toward development of a scientifically respectable replacement theory that will give rise to a new common-sense psychology. Fodor, however, wagers that FP will be (...) largely preserved and vindicated by scientific investigations of behavior. Recent findings by developmental psychologists, I argue, will push both Churchlandians and Fodorians toward the pessimistic view that FP is a misguided theory that will never be displaced, because it is, so to speak, built into our cognitive systems. I explore the possibility of preserving optimism by rejecting the theory-theory and adopting the simulation theory, a competing view developed by Robert Gordon, Alvin Goldman, and Jane Heal. According to simulationists, common-sense interpretation of behavior is accomplished by means of pretense-like operations that deploy the cognitive system’s own reasoning capabilities in a disengaged manner. Since on this view no theory-like set of principles would be needed, the simulation theory seems to enjoy a simplicity advantage over the theory-theory. Steven Stich and Shawn Nichols, however, contend that as the cognitive system would require special mechanisms for disengaged operation, the simplicity question cannot be resolved until suitable computational models are developed. I describe a set of models I have constructed to meet this need, and I discuss the contribution such models can make to determining FP’s fate. (shrink)

Philosophers constantly see the method of science before their eyes, and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness.

The syllogism and the predicate calculus cannot account for an ontological argument in Descartes' Fifth Meditation and related texts. Descartes' notion of god relies on the analytic-synthetic distinction, which Descartes had identified before Leibniz and Kant did. I describe how the syllogism and the predicate calculus cannot explain Descartes' ontological argument; then I apply the analytic-synthetic distinction to Descartes’ idea of god.

It is tough to relate visual perception or other achievements to physiological processing in the central nervous system. The diagrammatic, algebraic, and verbal pictures of how sights seem to Lehar do not advance understanding of how we manage to see what is in the world. There are well-known conceptual reasons why no such purely introspective approach can be productive.

this requirement for adaptations. Emergent characters are always potential adaptations. Not all selection processes produce adaptations, however. The key issue, in delineating a selection process, is the relationship between a character and fitness. The emergent character approach is more restrictive than alternative schemas that delineate selection..

Copi's method of deduction is formalized and shown to be complete.

In the Bayesian approach to quantum mechanics, probabilities—and thus quantum states—represent an agent’s degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities (...) always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent’s prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent’s prior beliefs. Quantum certainty is therefore always some agent’s certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [(1983). Quantum logic, realism, and value-definiteness. Philosophy of Science, 50, 578], which applies the Kochen–Specker theorem to an entangled bipartite system. (shrink)

The paper argues that at present the Criminal law does not contain satisfactory rules for dealing with the circumstances in which a mistake can be taken to vitiate the victim's consent to an action or transaction. Rules on this issue vary both between different offences and within given offences in a way that is neither coherent nor predictable. As a matter of fact consent should be regarded as vitiated whenever the victim is under a misapprehension but for which (s)he would (...) not have given consent, but from a practical point of view it will not always be possible to allow this factual vitiation to have legal effect. To try to find a more satisfactory set of rules the paper offers a series of potential rules placed along a spectrum. Towards either end of the spectrum the rules have greater certainty and coherence, but produce less desirable results in terms of policy. Towards the centre of the spectrum the reverse is true. The paper therefore concludes that no single rule will be able to provide the answer to this area, and that an approach which recognises a series of circumstances in which consent will be regarded as legally vitiated should be retained instead. However, it is imperative that in future these categories be clearly, and predictably drawn and individually explicable and justifiable. As a starting point it is proposed that consent should be regarded as vitiated when the victim has made a non est factum mistake, has been mistaken about something which would render the action or transaction physically different from that expected, or where the victim believed that the defendant had a legal qualification which in fact (s)he lacked. (shrink)

This paper focuses on invasive therapeutic procedures, defined as procedures requiring the introduction of hands, instruments, or devices into the body via incisions or punctures of the skin or mucous membranes performed with the intent of changing the natural history of a human disease or condition for the better. Ethical and methodological concerns have been expressed about studies designed to evaluate the effects of invasive therapeutic procedures. Can such studies meet the same standards demanded of those, for example, evaluating pharmaceutical (...) agents? This paper describes a research project aimed at examining the interplay and sometimes apparent conflict between ethical standards for human research and standards for methodological rigor in trials of invasive procedures. The paper discusses how the authors plan to develop a set of consensus standards that, if met, would result in substantial and much-needed improvements in the methodological and ethical quality of such trials. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

This paper addresses several questions related to the nature, production, and use of animal-human (a-h) chimeras. At the heart of the issue is whether certain types of a-h chimeras should be brought into existence, and, if they are, how we should treat such creatures. In our current research environment, we recognize a dichotomy between research involving nonhuman animal subjects and research involving human subjects, and the classification of a research protocol into one of these categories will trigger different ethical standards (...) as to the moral permissibility of the research in question. Are a-h chimeras entitled to the more restrictive and protective ethical standards applied to human research subjects? We elucidate an Aristotelian-Thomistic metaphysical framework in which to argue how such chimeras ought to be defined ontologically. We then examine when the creation of, and experimentation upon, certain types of a-h chimeras may be morally permissible. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

Recent research on moral dynamics shows that an individual's ethical mind-set moderates the impact of an initial ethical or unethical act on the likelihood of behaving ethically on a subsequent occasion. More specifically, an outcome-based mind-set facilitates Moral Balancing, whereas a rule-based mind-set facilitates Moral Consistency. The objective was to look at the evolution of moral choice across a series of scenarios, that is, to explore if these moral patterns are maintained over time. The results of three studies showed that (...) Moral Balancing is not.. (shrink)

Selective access and integration underlie much of our visual experience. This article describes several of the experimental techniques used to investigate these processes, and some of the major results achieved in our understanding of their operation.

Our recent opinion article [1] examined what change blindness can and cannot tell us about visual representations. Among other things, we argued that change blindness can tell us a lot about how visual representations can be used, but little about their extent. We and others found the ‘sparse representations’ view appealing (and still do), and initially made the overly strong claim that change blindness supports the conclusion of sparse representations [2,3]. We wrote our article because change blindness continues to be (...) taken as evidence for sparse – or even absent – representations, and we used O’Regan and Noë’s influential paper [4] as an example. However, as has been noted for some time [5–8], this conclusion is logically flawed: lack of ability need not be caused by lack of representation. (shrink)

How Heidegger criticizes and "locates" science, and some problems with what he is trying to do.

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the meanings of (...) natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

Darcy's law is a phenomenological relationship for fluid flow rate that finds one of its principle applications in hydrology. Theoretical hydrologists rely upon a multiplicity of conceptual models to carry out approximate derivations of Darcy's law. These derivations provide structural explanations of the law; they require the application of fundamental principles, such as conservation of momentum, to idealized models of the porous media within which the flow occurs. In practice, recognition of the idealized conditions incorporated into models facilitates the empirical (...) clarification of the domain within which the law remains accurate. Structural explanations also contribute to the physical interpretation of phenomenological parameters. (shrink)

One of the challenges in secondary schools today is infringements on students’ rights, in a tortious way that may also constitute breach of the Child’s Right Act of 2003 in Nigeria. These breach on rights usually come through the administration of corporal punishments on students, and mainly because the school heads see themselves as loco parentis of the students who can, therefore, enforce any form of punishment on them in the school. This study investigated knowledge, attitude, and infringement of tort (...) law among public secondary school heads on students in Osun State. All the students in Osun State public secondary schools and 723 heads constituted the population. A sample of 54 school heads and 180 students were selected using multi-stage sampling procedure. Two instruments were designed to elicit responses from the respondents. Descriptive and inferential statistics were used to answer the research questions raised for the study. The results showed that school heads do not have adequate knowledge of tort law and that both the school heads and students have poor attitude toward it tort law. The study recommends that short term training on student’s right, how they can be legally protected and tort law be organised for school heads. (shrink)

Abstract: The emergence of the novel coronavirus (COVID-19) in 2019 has presented the world with an unprecedented global health crisis. The rapid and widespread transmission of the virus has strained healthcare systems, disrupted economies, and challenged societies. In response to this monumental challenge, the intersection of technology and healthcare has become a focal point for innovation. This research endeavors to leverage the capabilities of Artificial Neural Networks (ANNs) to develop an advanced predictive model for forecasting the spread of COVID-19. It (...) involves the collection, analysis, and integration of diverse datasets encompassing epidemiological, clinical, and social factors that influence the virus's dissemination. (shrink)

We use a neutrosophic set, instead of an intuitionistic fuzzy because the neutrosophic set is more general, and it allows for independent and partial independent components, while in an intuitionistic fuzzy set, all components are totally dependent. In this article, we present and demonstrate the concept of neutrosophic invariant subgroups. We delve into the exploration of this notion to establish and study the neutrosophic quotient group. Further, we give the concept of a neutrosophic normal subgroup as a novel concept.

This paper presents a preliminary analysis of the first participatory budgeting experiment in the United States, in Chicago's 49th Ward. There are two avenues of inquiry: First, does participatory budgeting result in different budgetary priorities than standard practices? Second, do projects meet normative social justice outcomes? It is clear that allowing citizens to determine municipal budget projects results in very different outcomes than standard procedures. Importantly, citizens in the 49th Ward consistently choose projects that the research literature classifies as low (...) priority. The results are mixed, however, when it comes to social justice outcomes. While there is no clear pattern in which projects are located only in affluent sections of the ward, there is evidence of geographic clustering. Select areas are awarded projects like community gardens, dog parks, and playgrounds, while others are limited to street resurfacing, sidewalk repairs, bike racks, and bike lanes. Based on our findings, we offer suggestions for future programmatic changes. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.